Error report
Errors should be reported to cim-bug@ifi.uio.no.